1. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
